Quantifying and Managing Uncertainty in Piecewise-Deterministic Markov Processes
نویسندگان
چکیده
In piecewise-deterministic Markov processes (PDMPs) the state of a finite-dimensional system evolves continuously, but evolutive equation may change randomly as result discrete switches. A running cost is integrated along corresponding trajectory up to termination produce cumulative process. We address three natural questions related uncertainty in PDMP models: (1) how compute distribution function (CDF) when switching rates are fully known; (2) accurately bound CDF uncertain; and (3) assuming controlled, select control optimize that CDF. all cases, our approach requires posing suitable hyperbolic partial differential equations, which then solved numerically on an augmented space. illustrate method using simple examples planning under for several one-dimensional two-dimensional first-exit time problems. appendix, we also apply this model fish harvesting environment with random switches carrying capacity.
منابع مشابه
Demographic noise and piecewise deterministic Markov processes.
We explore a class of hybrid (piecewise deterministic) systems characterized by a large number of individuals inhabiting an environment whose state is described by a set of continuous variables. We use analytical and numerical methods from nonequilibrium statistical mechanics to study the influence that intrinsic noise has on the qualitative behavior of the system. We discuss the application of...
متن کاملPiecewise deterministic Markov processes in biological models
We present a short introduction into the framework of piecewise deterministic Markov processes. We illustrate the abstract mathematical setting with a series of examples related to dispersal of biological systems, cell cycle models, gene expression, physiologically structured populations, as well as neural activity. General results concerning asymptotic properties of stochastic semigroups induc...
متن کاملStochastic Equivalence of Cpdp-automata and Piecewise Deterministic Markov Processes
CPDP is a class of automata designed for compositional specification/analysis of certain stochastic hybrid processes. We prove equivalence of the stochastic behaviors of CPDPs (newly defined here) and PDPs. With this result we obtain a clear stochastic processes semantics for CPDPs and we obtain the opportunity to use the powerful PDP analysis techniques in the context of the compositional fram...
متن کاملSubstochastic Semigroups and Densities of Piecewise Deterministic Markov Processes
Necessary and sufficient conditions are given for a substochastic semigroup on L obtained through the Kato–Voigt perturbation theorem to be either stochastic or strongly stable. We show how such semigroups are related to piecewise deterministic Markov process, provide a probabilistic interpretation of our results, and apply them to fragmentation equations.
متن کاملPiecewise-deterministic Markov Processes for Sequential Monte Carlo and MCMC∗
This talk will introduce piecewise-deterministic Markov processes, and show how they can be used to develop novel, continuous-time, variants of MCMC or SMC. A particular motivation for this work is to develop Monte Carlo methods that can sample from a posterior and that scale well to large-data.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM/ASA Journal on Uncertainty Quantification
سال: 2023
ISSN: ['2166-2525']
DOI: https://doi.org/10.1137/20m1357275